大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Distributed Computing and Internet Technology [electronic resource] : 8th International Conference, ICDCIT 2012, Bhubaneswar, India, February 2-4, 2012. Proceedings

0
索取号：
作者：Ramanujam、 R.、Ramaswamy、 Srini.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Membrane Computing [electronic resource] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

0
索取号：
作者：Gheorghe、 Marian.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、Verlan、 Sergey.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Computer Science and Engineering [electronic resource]

0
索取号：
作者：Zeng、 Dehuai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Computer Science and Education [electronic resource]

0
索取号：
作者：Xie、 Anne.、Huang、 Xiong.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Grid and Pervasive Computing Workshops [electronic resource] : International Workshops, S3E, HWTS, Doctoral Colloquium, Held in Conjunction with GPC 2011, Oulu, Finland, May 11-13, 2011. Revised Selected Papers

0
索取号：
作者：Rautiainen、 Mika.、Korhonen、 Timo.、Mutafungwa、 Edward.、Ovaska、 Eila.、Katasonov、 Artem.、Evesti、 Antti.、Ailisto、 Heikki.、Quigley、 Aaron.、H盲kkil盲、 Jonna.、Milic-Frayling、 Natasa.、Riekki、 Jukka.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Foundations and Practice of Security [electronic resource] : 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers

0
索取号：
作者：Garcia-Alfaro、 Joaquin.、Lafourcade、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Affective Computing and Intelligent Interaction [electronic resource]

0
索取号：
作者：Luo、 Jia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mining for Strategic Competitive Intelligence [electronic resource] : Foundations and Applications

0
索取号：
作者：Ziegler、 Cai-Nicolas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

SOFSEM 2012: Theory and Practice of Computer Science [electronic resource] : 38th Conference on Current Trends in Theory and Practice of Computer Science, 艩pindler暖v Ml媒n, Czech Republic, January 21-27, 2012. Proceedings

0
索取号：
作者：Bielikov谩、 M谩ria.、Friedrich、 Gerhard.、Gottlob、 Georg.、Katzenbeisser、 Stefan.、Tur谩n、 Gy枚rgy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computation, Physics and Beyond [electronic resource] : International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012, Revised Selected and Invited Papers

0
索取号：
作者：Dinneen、 Michael J.、Khoussainov、 Bakhadyr.、Nies、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II

0
索取号：
作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Frontiers in Computer Education [electronic resource]

0
索取号：
作者：Sambath、 Sabo.、Zhu、 Egui.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computer Aided Systems Theory-EUROCAST 2011 [electronic resource] : 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I

0
索取号：
作者：Moreno-D铆az、 Roberto.、Pichler、 Franz.、Quesada-Arencibia、 Alexis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Computing and Applications [electronic resource] : Second International Conference, ICICA 2011, Qinhuangdao, China, October 28-31, 2011. Proceedings, Part I

0
索取号：
作者：Liu、 Chunfeng.、Chang、 Jincai.、Yang、 Aimin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computing with Words [electronic resource] : Principal Concepts and Ideas

0
索取号：
作者：Zadeh、 Lotfi A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Improving Software Testing [electronic resource] : Technical and Organizational Developments

0
索取号：
作者：Majchrzak、 Tim A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.